Optimal. Leaf size=169 \[ \frac {x^{1+m} \csc ^2(a+b x) \left (c \sin ^3(a+b x)\right )^{2/3}}{2 (1+m)}+\frac {i 2^{-3-m} e^{2 i a} x^m (-i b x)^{-m} \csc ^2(a+b x) \Gamma (1+m,-2 i b x) \left (c \sin ^3(a+b x)\right )^{2/3}}{b}-\frac {i 2^{-3-m} e^{-2 i a} x^m (i b x)^{-m} \csc ^2(a+b x) \Gamma (1+m,2 i b x) \left (c \sin ^3(a+b x)\right )^{2/3}}{b} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.22, antiderivative size = 169, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 4, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {6852, 3393,
3388, 2212} \begin {gather*} \frac {i e^{2 i a} 2^{-m-3} x^m (-i b x)^{-m} \csc ^2(a+b x) \text {Gamma}(m+1,-2 i b x) \left (c \sin ^3(a+b x)\right )^{2/3}}{b}-\frac {i e^{-2 i a} 2^{-m-3} x^m (i b x)^{-m} \csc ^2(a+b x) \text {Gamma}(m+1,2 i b x) \left (c \sin ^3(a+b x)\right )^{2/3}}{b}+\frac {x^{m+1} \csc ^2(a+b x) \left (c \sin ^3(a+b x)\right )^{2/3}}{2 (m+1)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2212
Rule 3388
Rule 3393
Rule 6852
Rubi steps
\begin {align*} \int x^m \left (c \sin ^3(a+b x)\right )^{2/3} \, dx &=\left (\csc ^2(a+b x) \left (c \sin ^3(a+b x)\right )^{2/3}\right ) \int x^m \sin ^2(a+b x) \, dx\\ &=\left (\csc ^2(a+b x) \left (c \sin ^3(a+b x)\right )^{2/3}\right ) \int \left (\frac {x^m}{2}-\frac {1}{2} x^m \cos (2 a+2 b x)\right ) \, dx\\ &=\frac {x^{1+m} \csc ^2(a+b x) \left (c \sin ^3(a+b x)\right )^{2/3}}{2 (1+m)}-\frac {1}{2} \left (\csc ^2(a+b x) \left (c \sin ^3(a+b x)\right )^{2/3}\right ) \int x^m \cos (2 a+2 b x) \, dx\\ &=\frac {x^{1+m} \csc ^2(a+b x) \left (c \sin ^3(a+b x)\right )^{2/3}}{2 (1+m)}-\frac {1}{4} \left (\csc ^2(a+b x) \left (c \sin ^3(a+b x)\right )^{2/3}\right ) \int e^{-i (2 a+2 b x)} x^m \, dx-\frac {1}{4} \left (\csc ^2(a+b x) \left (c \sin ^3(a+b x)\right )^{2/3}\right ) \int e^{i (2 a+2 b x)} x^m \, dx\\ &=\frac {x^{1+m} \csc ^2(a+b x) \left (c \sin ^3(a+b x)\right )^{2/3}}{2 (1+m)}+\frac {i 2^{-3-m} e^{2 i a} x^m (-i b x)^{-m} \csc ^2(a+b x) \Gamma (1+m,-2 i b x) \left (c \sin ^3(a+b x)\right )^{2/3}}{b}-\frac {i 2^{-3-m} e^{-2 i a} x^m (i b x)^{-m} \csc ^2(a+b x) \Gamma (1+m,2 i b x) \left (c \sin ^3(a+b x)\right )^{2/3}}{b}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.36, size = 142, normalized size = 0.84 \begin {gather*} \frac {2^{-3-m} x^m \left (b^2 x^2\right )^{-m} \csc ^2(a+b x) \left (2^{2+m} b x \left (b^2 x^2\right )^m-i (1+m) (-i b x)^m \Gamma (1+m,2 i b x) (\cos (a)-i \sin (a))^2+i (1+m) (i b x)^m \Gamma (1+m,-2 i b x) (\cos (a)+i \sin (a))^2\right ) \left (c \sin ^3(a+b x)\right )^{2/3}}{b (1+m)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.10, size = 0, normalized size = 0.00 \[\int x^{m} \left (c \left (\sin ^{3}\left (b x +a \right )\right )\right )^{\frac {2}{3}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.10, size = 112, normalized size = 0.66 \begin {gather*} -\frac {{\left (4 \, b x x^{m} - {\left (i \, m + i\right )} e^{\left (-m \log \left (2 i \, b\right ) - 2 i \, a\right )} \Gamma \left (m + 1, 2 i \, b x\right ) - {\left (-i \, m - i\right )} e^{\left (-m \log \left (-2 i \, b\right ) + 2 i \, a\right )} \Gamma \left (m + 1, -2 i \, b x\right )\right )} \left (-{\left (c \cos \left (b x + a\right )^{2} - c\right )} \sin \left (b x + a\right )\right )^{\frac {2}{3}}}{8 \, {\left ({\left (b m + b\right )} \cos \left (b x + a\right )^{2} - b m - b\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int x^{m} \left (c \sin ^{3}{\left (a + b x \right )}\right )^{\frac {2}{3}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int x^m\,{\left (c\,{\sin \left (a+b\,x\right )}^3\right )}^{2/3} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________